DIR: core 2

DIR: isect 1

DIR: well fnd

DIR: int 1

DIR: bool 1

DIR: union

DIR: sqequal 1

DIR: fun 1

DIR: rfunction 1

DIR: rel 1

DIR: quot 1

DIR: int 2

DIR: list 1

DIR: num thy 1

DIR: prog 1

DIR: subtype 1

DIR: experiments